1c8c4b37be8356e1959590775ca55ab47955248a,pdex/src/processing/mode/experimental/TabOutline.java,TabOutline,estimateFrameHeight,#,300
Before Change
private int estimateFrameHeight(){
// Assuming each tree node height to be 25 pixels
return Math.min(20 * (editor.getSketch().getCodeCount() + 1),
frmOutlineView.getHeight());
// return Math.min(editor.ta.getHeight(),
// frmOutlineView.getHeight());
}
After Change
private int estimateFrameHeight(){
// Assuming each tree node height to be 20 pixels
int t = Math.max(4, editor.getSketch().getCodeCount() + 1);
return Math.min(20 * t, frmOutlineView.getHeight());
}
public void show() {